Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
31	A Verification System for Distributed Objects with Asynchronous Method Calls ? Wolfgang Ahrendt1 and Maximilian Dylla12 1 Chalmers University of Technology, Gothenburg, Sweden Add to Reading List Source URL: www.cse.chalmers.se - Date: 2009-11-10 06:22:36
32	A Least Resistance Path in Reasoning about Unstructured Overlay Networks Giorgos Georgiadis and Marina Papatriantafilou Department of Computer Science and Engineering, Chalmers University of Technology, SGötebo Add to Reading List Source URL: www.cse.chalmers.se - Date: 2009-08-24 14:23:28
33	Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology Add to Reading List Source URL: arashrouhani.com Language: English - Date: 2015-06-22 18:30:08 Software engineering Computer programming Software Functional languages Subroutines Haskell Literate programming Stack Call stack Glasgow Haskell Compiler
34	Gunnar Ohlin Project Leader, Lindholmen Science Park Gothenburg and Volvo – a common vision An innovative and forward-thinking city in sustainable mobility Add to Reading List Source URL: 19343a27nxyv1ifure2nq0aw.wpengine.netdna-cdn.com Language: English - Date: 2015-06-16 11:24:05 Geography of Sweden Gothenburg Chalmers University of Technology Hisingen Counties of Sweden Electric vehicle conversion Lindholmen Science Park University of Gothenburg Johanneberg Science Park Sustainable transport Plug-in hybrid Lindholmen Gothenburg
35	Invited presentation 4th EG Workshop on Rendering, Paris, June 1993, pRealism in Real Time? Frederik W. Jansen, Delft University of Technology* Alan Chalmers, University of Bristol Abstract Add to Reading List Source URL: www.cg.its.tudelft.nl Language: English - Date: 2007-08-03 10:13:58** Global illumination algorithms 3D computer graphics Computer graphics Optics Geometrical optics Virtual reality Rendering Radiosity Ray tracing Global illumination Path tracing Diffuse reflection
36	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
37	facts about sweden \| Higher Education and Research sweden.se PHOTO: ULF LUNDIN//IMAGEBANK.SWEDEN.SE Add to Reading List Source URL: sharingsweden.se Language: English - Date: 2016-03-31 04:06:54 Education Education in Sweden Europe Government agencies of Sweden Public university Sweden Chalmers University of Technology Free education Swedish Council for Higher Education Swedish Foundation for Strategic Research Lund University University college
38	Automating Inductive Proofs using Theory Exploration Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,moa.johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-17 07:49:01 Mathematics Logic Mathematical logic Automated theorem proving Mathematical proofs Logic in computer science Statements Graph theory Structural induction Rippling ACL2 Lemma
39	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
40	Borderless research to save lives Anna Nilsson‐Ehle Director SAFER presentation for Japan Add to Reading List Source URL: 19343a27nxyv1ifure2nq0aw.wpengine.netdna-cdn.com Language: English - Date: 2015-06-16 11:15:33 Gothenburg Chalmers University of Technology University of Gothenburg Transport Hisingen Road safety Lindholmen Science Park Volvo Cars Road traffic safety Traffic collision Viktoria Institute

UPDATE